int32 data1 # 42